Thought experiments involving The Matrix, brains-in-vats, or Cartesian demons have traditionally thought to describe skeptical possibilities. Chalmers has denied this, claiming that the simulations involved are real enough to at least sometimes defeat the skeptic. Through an examination of the meaning of kind terms in natural language I argue that, though the Chalmers view may be otherwise attractive, it is not an antidote to skepticism.

Universities and colleges all over the United States are currently revising and implementing policies concerning sexual harassment and sexual misconduct, under the generally expressed concern to comply with Title IX requirements. But there is a very basic problem of equivocation. Both “sexual harassment” and “sexual misconduct” are used in very different ways in different contexts, often by the same entity. The result is a mess in which members of campus communities cannot be sure of their obligations or protections, and which (...) presents a serious threat to academic freedom. (shrink)

The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic expressivity to (...) existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource providing details on the people, policies, and issues being addressed in association with OBI. (shrink)

Is the societal-level of analysis sufficient today to understand the values of those in the global workforce? Or are individual-level analyses more appropriate for assessing the influence of values on ethical behaviors across country workforces? Using multi-level analyses for a 48-society sample, we test the utility of both the societal-level and individual-level dimensions of collectivism and individualism values for predicting ethical behaviors of business professionals. Our values-based behavioral analysis indicates that values at the individual-level make a more significant contribution to (...) explaining variance in ethical behaviors than do values at the societal-level. Implicitly, our findings question the soundness of using societal-level values measures. Implications for international business research are discussed. (shrink)

Religion emerged among early humans because both purposive and non-purposive explanations were being employed but understanding was lacking of their precise scope and limits. Given also a context of very limited human power, the resultant foregrounding of agency and purposive explanation expressed itself in religion’s marked tendency towards anthropomorphism and its key role in legitimizing behaviour. The inevitability of death also structures the religious outlook; with ancestors sometimes assigned a role in relation to the living. Subjective elements such as the (...) experience of dreams and the internalization of moral precepts also play their part. Two important sources of variation among religions concern the adoption of a dualist or non-dualist perspective, and whether or not the religion’s early political experience is such as to generate a systematic doctrine subordinating politics to religion. The near ubiquity and endurance of religion are further illuminated by analysis of its functions and ideological role. Religion tends to be socially conservative but has the potential to be revolutionary. (shrink)

This paper is a critique of Richard Dawkins’ “argument from improbability” against the existence of God. This argument, which forms the core of Dawkins’ book The God Delusion, provides an interesting example of the use of scientific ideas in arguments about religion. Here I raise three objections: (1) The argument is inapplicable to philosophical conceptions of God that reduce most of God’s complexity to that of the physical universe. (2) The argument depends on a way of estimating probabilities that (...) fails for the probability of an entity that creates natural laws. (3) The argument supposes that complexity arises from past physical causes; however, some forms of complexity known to mathematics and logic do not arise in this way. After stating these three criticisms, I show that some of these same considerations undermine Dawkins’ critique of agnosticism. I close the paper with some remarks on Dawkins’ conception of God. (shrink)

Are non-natural properties worth caring about? I consider two objections to metaethical non-naturalism. According to the intelligibility objection, it would be positively unintelligible to care about non-natural properties that float free from the causal fabric of the cosmos. According to the ethical idlers objection, there is no compelling motivation to posit non-natural normative properties because the natural properties suffice to provide us with reasons. In both cases, I argue, the objection stems from misunderstanding the role that non-natural properties play in (...) the non-naturalist's understanding of normativity. The role of non-natural properties is not to be responded to, but to "mark" which natural properties it is correct for us to respond to in certain ways. (shrink)

[written in 2005/2006 while I was a graduate student at CUNY. This version was awarded The Southwestern Philosophical Society Presidential Prize for an outstanding paper by a graduate student or recent PhD and was subsequently published in Southwest Philosophy Review] The idea that there is something that it is like to have a thought is gaining acceptance in the philosophical community and has been argued for recently by several philosophers. Now, within this camp there is a debate about which component (...) of the, say, the belief, is qualitative? Is the qualitative component part of the content of the belief, or part of the mental attitude that we take towards the content? Some argue that the qualitative character is had by the content of the thought; others argue that it belongs to the attitude type itself. I examine the two answers and argue that the quality of thought is best understood as taking a qualitative mental attitude towards some representational content. Each propositional attitude is distinguished by a unique quality and it is having that quality with respect to the content that makes it a belief, fear (etc.) that p. (shrink)

Mathematical formalism is the the view that numbers are "signs" and that arithmetic is like a game played with such signs. Frege's colleague Thomae defended formalism using an analogy with chess, and Frege's critique of this analogy has had a major influence on discussions in analytic philosophy about signs, rules, meaning, and mathematics. Here I offer a new interpretation of formalism as defended by Thomae and his predecessors, paying close attention to the mathematical details and historical context. I argue that (...) for Thomae, the formal standpoint is an _algebraic perspective_ on a domain of objects, and a "sign" is not a linguistic expression or mark, but a representation of an object within that perspective. Thomae exploits a shift into this perspective to give a purely algebraic construction of the real numbers from the rational numbers. I suggest that Thomae's chess analogy is intended to provide a model for such shifts in perspective. (shrink)

Richard Heck, Jr has recently argued against Russellianism about proper names not in the usual way—by appeal to “intuitions” about the truth conditions of “that”-clause belief ascriptions—but by appeal to our need to specify beliefs in a way that reflects their individuation. Since beliefs are individuated by their psychological roles and not their Russellian contents, he argues, Russellianism is precluded in principle from accounting for our ability to specify beliefs in ordinary language. I argue that Heck thus makes things (...) easier for the Russellian. For by framing the issue as one concerning the specificatory powers of ordinary language in general, rather than just of “that”-clause ascriptions, Heck weakens the implications of any claim about the semantics of that one type of belief-specifying locution. I augment this diagnosis with a positive account of the specificatory usefulness, and attested commonness, of (partly or wholly) quotational belief ascriptions, e.g. “Lois believes that ‘Superman’ is at the meeting.” This proposal is not of the usual sort concerning such locutions since it does not involve the (dubious) claim that they are in some way equivalent to “that”-clause ascriptions. (shrink)

The aim of this study is to identify the key terms and arguments of J. Lovelock՚s sustainable retreat concept and their analysis with emphasize on the consequences of this concept for political, social and environmental thinking. J. Lovelock points out that considering rapid and complex changes in global environment, marked by the term Anthropocene; we do not have enough time and sources to realize the sustainable development concept. For that reason, it is, according to him, necessary to formulate sustainable retreat (...) concept as a strategy which will allow to prepare for climate change in a way that not only a man as a biological specie, but also civilized society could survive. Even basic theses of this concept indicate a need to revalue majority political concepts, mainly concepts of sovereignty, citizenship, also the freedom of movement and residence, freedom of business and consume, which are fundamentals of neoliberal economic-political system. Retreat expects elaborated and organized migration to beforehand chosen and arranged areas. Opposite to retreat is mass escape chaos that reduces human relations to fight for survival. As J. Lovelock proposed in his sustainable retreat concept, relocating people from areas affected by climate changes to climate oases would mean that rich northern countries give up their current, in fact, isolationistic politics that refuses climate migrants. Therefore the sustainable retreat concept requires much greater competence and mainly willingness to cooperate not only on national, but also on international and global level more than humanity is able to do it currently. (shrink)

If computer ethics is to constitute a real engagement with industry and society that cultivates a genuine sensitivity to ethical concerns in the creation, development, and implementation of technologies, a genuine sensitivity that stands in marked contrast to ethics as “mere compliance,” then computer ethics will have to consist in issuing an open invitation to inquiry, since going beyond mere compliance requires a sensitivity to the importance of what we care about, and inquiry has the potential to leverage what our (...) audiences already care about to bring them to care about computer ethics. This commitment to open inquiry is apparent in the practice of computer ethics at Ethicomp and in our interfaces with various audiences beyond Ethicomp. We mentor professionals, aspiring professionals, managers, end-users, policy makers, and each other by offering an open invitation to inquiry about the broad ethical implications of the practices, professions, and institutions of computing and the design, development, and implementation of computer artifacts. (shrink)

The extent of confusion between symbols and that which is symbolised is examined across five institutional spheres. Religion is the institution most marked by confusion of this type; indeed in some respects the symbolic mes- sage of religion may be the extent of the substantive reality. On the other hand, the very existence of the nation state may be judged to depend upon the exercise of the human imagination; hence providing a source of instability which may lead to the excesses (...) of nationalism. In regard to social status, the main problematical element is a certain circularity: it is necessary to get peo- ple to exhibit differences in behaviour which are then used to justify or con- stitute the status differences themselves. In politics, the symbolism of left and right threatens to strangle creative thinking, while in education the tendency on all sides to orient towards public systems of measurement and grading undermines the claim that what is really important is pupil and student learn- ing. A social cost is being paid for the failure to recognise and, where possible, address the issues identified. (shrink)

Newman’s zips act as a kind of intervention or temporal event that differentiates the canvas, preventing Being from falling into the anonymous and impersonal il y a. The zip is what might be described as ecstatic temporality (ecstatic from the Ancient Greek ek “out” + histanai “to place, cause to stand out”). Time not only gives sense or meaning to Being, it marks the emergence of sensation, the physical materiality of something or someone.

No Abs Richard Kraut’s What is Good and Why is a development and defense of devel-opmentalism. But Kraut’s approach renders problematic the relationship between good-for and reasons for action. One consequence is uncertainty as to how exactly anybody’s good becomes reason-giving for us, given that there is no immediate connection between anyone’s good and reasons for action. A further problem can be seen in trying to identify a basis for thinking we are beings entitled to respect. Finally, Kraut’s work (...) leaves unexplicated the “matching relation” he says holds between a living being and what is good for it.tract. (shrink)

We designed an experiment to explore the learning effectiveness of three different ways of practicing dance movements. To our surprise we found that partial modeling, called marking in the dance world, is a better method than practicing the complete phrase, called practicing full-out; and both marking and full-out are better methods than practicing by repeated mental simulation. We suggest that marking is a form of practicing a dance phrase aspect-by-aspect. Our results also suggest that prior work on learning by observation (...) and learning by mental practice may not scale up to complex movements. (shrink)

Gail Murrow and Richard Murrow offer a novel account of dehumanization, by synthesizing data which suggest that where subject S has a dehumanized view of group G, S‘s neural mechanisms of empathy show a dampened response to the suffering of members of G, and S‘s judgments about the humanity of members of G are largely non-conscious. Here I examine Murrow and Murrow‘s suggestions about how identity-based hate speech bears responsibility for dehumanization in the first place. I identify a distinction (...) between (i) accounts of the nature of the harm effected by identity prejudice, and (ii) accounts of how hate speech contributes to the harms of identity prejudice. I then explain why Murrow and Murrow‘s proposal is more aptly construed as an account of type (i), and explain why accounts of this type, even if they‘re plausible and evidentially well-supported, have limited implications in relation to justifications for anti-hate speech law. (shrink)

What we value, like, endorse, want, and prefer changes over the course of our lives. Richard Pettigrew presents a theory of rational decision making for agents who recognise that their values will change over time and whose decisions will affect those future times.

Fitting Attitudes accounts of value analogize or equate being good with being desirable, on the premise that ‘desirable’ means not, ‘able to be desired’, as Mill has been accused of mistakenly assuming, but ‘ought to be desired’, or something similar. The appeal of this idea is visible in the critical reaction to Mill, which generally goes along with his equation of ‘good’ with ‘desirable’ and only balks at the second step, and it crosses broad boundaries in terms of philosophers’ other (...) commitments. For example, Fitting Attitudes accounts play a central role both in T.M. Scanlon’s [1998] case against teleology, and in Michael Smith [2003], [unpublished] and Doug Portmore’s [2007] cases for it. And of course they have a long and distinguished history. (shrink)

Conditionalization is one of the central norms of Bayesian epistemology. But there are a number of competing formulations, and a number of arguments that purport to establish it. In this paper, I explore which formulations of the norm are supported by which arguments. In their standard formulations, each of the arguments I consider here depends on the same assumption, which I call Deterministic Updating. I will investigate whether it is possible to amend these arguments so that they no longer depend (...) on it. As I show, whether this is possible depends on the formulation of the norm under consideration. (shrink)

According to certain normative theories in epistemology, rationality requires us to be logically omniscient. Yet this prescription clashes with our ordinary judgments of rationality. How should we resolve this tension? In this paper, I focus particularly on the logical omniscience requirement in Bayesian epistemology. Building on a key insight by Hacking :311–325, 1967), I develop a version of Bayesianism that permits logical ignorance. This includes: an account of the synchronic norms that govern a logically ignorant individual at any given time; (...) an account of how we reduce our logical ignorance by learning logical facts and how we should update our credences in response to such evidence; and an account of when logical ignorance is irrational and when it isn’t. At the end, I explain why the requirement of logical omniscience remains true of ideal agents with no computational, processing, or storage limitations. (shrink)

Batterman and Rice ([2014]) argue that minimal models possess explanatory power that cannot be captured by what they call ‘common features’ approaches to explanation. Minimal models are explanatory, according to Batterman and Rice, not in virtue of accurately representing relevant features, but in virtue of answering three questions that provide a ‘story about why large classes of features are irrelevant to the explanandum phenomenon’ ([2014], p. 356). In this article, I argue, first, that a method (the renormalization group) they propose (...) to answer the three questions cannot answer them, at least not by itself. Second, I argue that answers to the three questions are unnecessary to account for the explanatoriness of their minimal models. Finally, I argue that a common features account, what I call the ‘generalized ontic conception of explanation’, can capture the explanatoriness of minimal models. (shrink)

Using path-breaking discoveries of cognitive science, Mark Johnson argues that humans are fundamentally imaginative moral animals, challenging the view that morality is simply a system of universal laws dictated by reason. According to the Western moral tradition, we make ethical decisions by applying universal laws to concrete situations. But Johnson shows how research in cognitive science undermines this view and reveals that imagination has an essential role in ethical deliberation. Expanding his innovative studies of human reason in Metaphors We (...) Live By and The Body in the Mind, Johnson provides the tools for more practical, realistic, and constructive moral reflection. (shrink)

Philosophers have tended to construe friendship as an intimate relationship involving mutual love, and have focused their discussions on this ‘true’ form of friendship. However, everyone recognizes that we use the word ‘friend’ and its cognates to refer, non-ironically, to those with whom we share various relationships that are not terribly intimate or which do not involve mutual love. I argue that there exists no general reason to restrict our philosophical focus to ‘true’ friendships, and allege that we can gain (...) important insights if we broaden our perspective to include lesser friends. I contend that friendships, in the broad sense (encompassing both ‘true’ and lesser forms), are necessarily relationships that are the product of significant collaborative norm manipulation. And I argue that understanding friendship in this way helps explain important features, including the difference between friendships and familiar relations, the non-fungibility of friends, and why friendships are often in flux. (shrink)

Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it had many partial (...) successes, and generated important advances in logical theory and metatheory, both at the time and since. The article discusses the historical background and development of Hilbert’s program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s. (shrink)

An account of distinctively mathematical explanation (DME) should satisfy three desiderata: it should account for the modal import of some DMEs; it should distinguish uses of mathematics in explanation that are distinctively mathematical from those that are not (Baron [2016]); and it should also account for the directionality of DMEs (Craver and Povich [2017]). Baron’s (forthcoming) deductive-mathematical account, because it is modelled on the deductive-nomological account, is unlikely to satisfy these desiderata. I provide a counterfactual account of DME, the Narrow (...) Ontic Counterfactual Account (NOCA), that can satisfy all three desiderata. NOCA appeals to ontic considerations to account for explanatory asymmetry and ground the relevant counterfactuals. NOCA provides a unification of the causal and the non-causal, the ontic and the modal, by identifying a common core that all explanations share and in virtue of which they are explanatory. (shrink)

For years now, unionization has been under vigorous attack. Membership has been steadily declining, and with it union bargaining power. As a result, unions may soon lose their ability to protect workers from economic and personal abuse, as well as their significance as a political force. In the Name of Liberty responds to this worrying state of affairs by presenting a new argument for unionization, one that derives an argument for universal unionization in both the private and public sector from (...) concepts of liberty that we already accept. In short, In the Name of Liberty reclaims the argument for liberty from the political right, and shows how liberty not only requires the unionization of every workplace as a matter of background justice, but also supports a wide variety of other progressive policies. (shrink)

In this paper I defend what I call the argument from epistemic reasons against the moral error theory. I argue that the moral error theory entails that there are no epistemic reasons for belief and that this is bad news for the moral error theory since, if there are no epistemic reasons for belief, no one knows anything. If no one knows anything, then no one knows that there is thought when they are thinking, and no one knows that they (...) do not know everything. And it could not be the case that we do not know that there is thought when we believe that there is thought and that we do not know that we do not know everything. I address several objections to the claim that the moral error theory entails that there are no epistemic reasons for belief. It might seem that arguing against the error theory on the grounds that it entails that no one knows anything is just providing a Moorean argument against the moral error theory. I show that even if my argument against the error theory is indeed a Moorean one, it avoids Streumer's, McPherson's and Olson's objections to previous Moorean arguments against the error theory and is a more powerful argument against the error theory than Moore's argument against external world skepticism is against external world skepticism. (shrink)

Human biological memory systems have adapted to use technological artifacts to overcome some of the limitations of these systems. For example, when performing a difficult calculation, we use pen and paper to create and store external number symbols; when remembering our appointments, we use a calendar; when remembering what to buy, we use a shopping list. This chapter looks at the history of memory artifacts, describing the evolution from cave paintings to virtual reality. It first characterizes memory artifacts, memory systems, (...) and the two main functions such artifacts have, which are to aid individual users in completing memory tasks and as a cultural inheritance channel (section 2). It then outlines some of our first symbolic practices such as making cave paintings and figurines, and then moves on to outline several key developments in external representational systems and the artifacts that support these such as written language, numeral systems and counting devices, diagrams and maps, measuring devices, libraries and archives, photographs, analogue and digital computational artifacts, the World Wide Web, virtual reality, and smartphones (section 3). After that, it makes some brief points about the cumulative nature of the cultural evolution of memory artifacts and speculates about the possible future of memory artifacts, arguing that it is very difficult to look beyond an epistemological horizon of more than five years (section 4). (shrink)

Lange argues that some natural phenomena can be explained by appeal to mathematical, rather than natural, facts. In these “distinctively mathematical” explanations, the core explanatory facts are either modally stronger than facts about ordinary causal law or understood to be constitutive of the physical task or arrangement at issue. Craver and Povich argue that Lange’s account of DME fails to exclude certain “reversals”. Lange has replied that his account can avoid these directionality charges. Specifically, Lange argues that in legitimate DMEs, (...) but not in their “reversals,” the empirical fact appealed to in the explanation is “understood to be constitutive of the physical task or arrangement at issue” in the explanandum. I argue that Lange’s reply is unsatisfactory because it leaves the crucial notion of being “understood to be constitutive of the physical task or arrangement” obscure in ways that fail to block “reversals” except by an apparent ad hoc stipulation or by abandoning the reliance on understanding and instead accepting a strong realism about essence. (shrink)

Rescorla (Erkenntnis, 2020) has recently pointed out that the standard arguments for Bayesian Conditionalization assume that whenever I become certain of something, it is true. Most people would reject this assumption. In response, Rescorla offers an improved Dutch Book argument for Bayesian Conditionalization that does not make this assumption. My purpose in this paper is two-fold. First, I want to illuminate Rescorla’s new argument by giving a very general Dutch Book argument that applies to many cases of updating beyond those (...) covered by Conditionalization, and then showing how Rescorla’s version follows as a special case of that. Second, I want to show how to generalise R. A. Briggs and Richard Pettigrew’s Accuracy Dominance argument to avoid the assumption that Rescorla has identified (Briggs and Pettigrew in Noûs, 2018). In both cases, these arguments proceed by first establishing a very general reflection principle. (shrink)

Doxastic voluntarism is the thesis that our beliefs are subject to voluntary control. While there’s some controversy as to what “voluntary control” amounts to (see 1.2), it’s often understood as direct control: the ability to bring about a state of affairs “just like that,” without having to do anything else. Most of us have direct control over, for instance, bringing to mind an image of a pine tree. Can one, in like fashion, voluntarily bring it about that one believes a (...) specific proposition? Doxastic voluntarists hold that, at least in some circumstances—such as when the evidence is ambiguous—we can. Doxastic involuntarists, in contrast, maintain that we cannot. Some involuntarists hold that the concept of belief itself precludes the possibility of believing voluntarily. Others hold that the impossibility of voluntary belief is a contingent psychological fact. Historically, the issue of doxastic voluntarism has been connected to how many think about religious commitment: a prominent view of faith is that it is a voluntary decision to believe. Furthermore, the issue of voluntarism has also been viewed as having bearing on fundamental questions in epistemology. For example, are epistemic norms duties to believe in certain ways? Are there practical or moral reasons to believe? If the answer to either question is “yes,” it seems some measure of voluntary doxastic control is required. -/- In section 1, we expand on the definition of doxastic voluntarism, and survey various kinds of control (e.g. direct, indirect, long-range) and the doxastic attitudes we might control (e.g. outright belief, withholding, credences). In section 2, we discuss a number of historical views on doxastic voluntarism. In section 3, we survey motivations for rejecting doxastic voluntarism. There are two general strategies: arguments that appeal to psychological considerations, and conceptual arguments regarding the nature of belief. In section 4, we survey five approaches to defending voluntarism: those that appeal to epistemic permissivism, doxastic compatibilism, skepticism, one-off considerations, and non-standard views of belief. In section 5, we cover empirical work on doxastic voluntarism. The last two sections discuss two implications of voluntarism. In section 6, we discuss voluntarism’s implications for the ethics of belief, and in section 7, we discuss issues at the intersection of voluntarism and religious faith. (shrink)

Many philosophers nowadays believe Frege was right about belief, but wrong about language: The contents of beliefs need to be individuated more finely than in terms of Russellian propositions, but the contents of utterances do not. I argue that this 'hybrid view' cannot offer no reasonable account of how communication transfers knowledge from one speaker to another and that, to do so, we must insist that understanding depends upon more than just getting the references of terms right.

All humans have an equal basic moral status. They possess the same fundamental rights, and the comparable interests of each person should count the same in calculations that determine social policy. Neither supposed racial differences, nor skin color, sex, sexual orientation, ethnicity, intelligence, nor any other differences among humans negate their fundamental equal worth and dignity. These platitudes are virtually universally affirmed. A white supremacist racist or an admirer of Adolf Hitler who denies them is rightly regarded as beyond the (...) pale of civilized dialogue. However, a very simple line of argument developed by Peter Singer challenges our understanding of these platitudes and forces us to rethink the basis and nature of the moral equality of all humans. What I call the “Singer Problem” arises if one accepts that the morally significant cognitive capacities that are relevant to the determination of the fundamental moral status of a being vary from individual to individual by degree. The problem is to specify a moral principle determining fundamental moral status that assigns a superior status to humans compared to other animals on the basis of the superior cognitive capacities of humans but also assigns all human persons an equal fundamental moral status regardless of their differing cognitive capacities. More broadly posed, the problem is to specify moral principles that yield intuitively satisfactory implications for the treatment of human individuals and other individual animals given that cognitive capacities differ across species and individuals. A search for a resolution of the Singer problem leads to disappointing results. (shrink)

The ambiguity theory of “knows” is the view that knows and its cognates have more than one propositional sense—i.e., more than one sense that can properly be used in “knows that” etc. constructions. The ambiguity theory of “know” has received relatively little attention as an account of the truth-conditions for knowledge ascriptions and denials—especially compared to views like classical, moderate invariantism and epistemic contextualism. In this paper, it is argued that the ambiguity theory of knows has an advantage over both (...) classical, moderate invariantism and epistemic contextualism. This advantage is that it is the only one of these views that can account for “diverging knowledge responses without inconsistency” —i.e., cases in which, for the same subject S and proposition p, one and the same speaker says truly “S knows p” but instead could have truly said “S does not know p” and vice versa. This paper argues both for the existence of DRWI scenarios and the ability of the ambiguity theory of knows to best explain their existence. (shrink)

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

This paper is concerned with neo-Fregean accounts of reference to abstract objects. It develops an objection to the most familiar such accounts, due to Bob Hale and Crispin Wright, based upon what I call the 'proliferation problem': Hale and Wright's account makes reference to abstract objects seem too easy, as is shown by the fact that any equivalence relation seems as good as any other. The paper then develops a response to this objection, and offers an account of what it (...) is for abstracta to exist that is Fregean in spirit but more robust than familiar views. (shrink)

In Republic 8–9, Socrates describes four main kinds of vicious people, all of whose souls are “ruled” by an element other than reason, and in some of whom reason is said to be “enslaved.” What role does reason play in such souls? In this paper, I argue, based on Republic 8–9 and related passages, and in contrast to some common alternative views, that for Plato the “enslavement” of reason consists in this: instead of determining for itself what is good, reason (...) is forced to desire and pursue as good a goal determined by the soul’s ruler. (shrink)

An investigation of Frege’s various contributions to the study of language, focusing on three of his most famous doctrines: that concepts are unsaturated, that sentences refer to truth-values, and that sense must be distinguished from reference.

Despite the enormity of the financial losses flowing from the 2008 financial crisis and the outrageousness of the conduct that led up to it, almost no individual involved has been prosecuted for criminal conduct, much less actually gone to prison. What this chapter argues is that the failure to punish those in management for their role in this misconduct stems from a misunderstanding of the need to prove that they personally knew of this wrongdoing and harbored an intent to defraud. (...) But not only would negligence be a sufficient legal and moral basis for imposing terms of imprisonment in these cases, mere causal responsibility would also be enough, for causal responsibility has embed in it all we need to find those causally responsible morally responsible too, and once some basis for moral responsibility is established, the imposition of terms of imprisonment is both legally permitted and morally just. (shrink)

Accuracy arguments for the core tenets of Bayesian epistemology differ mainly in the conditions they place on the legitimate ways of measuring the inaccuracy of our credences. The best existing arguments rely on three conditions: Continuity, Additivity, and Strict Propriety. In this paper, I show how to strengthen the arguments based on these conditions by showing that the central mathematical theorem on which each depends goes through without assuming Additivity.

In this chapter, we address the roles that exemplars might play in a comprehensive response to epistemic injustice. Fricker defines epistemic injustices as harms people suffer specifically in their capacity as (potential) knowers. We focus on testimonial epistemic injustice, which occurs when someone’s assertoric speech acts are systematically met with either too little or too much credence by a biased audience. Fricker recommends a virtue­theoretic response: people who do not suffer from biases should try to maintain their disposition towards naive (...) testimonial justice, and those who find themselves already biased should cultivate corrective testimonial justice by systematically adjusting their credence in testimony up or down depending on whether they are hearing from someone whom they may be biased against or in favor of. We doubt that the prominent admiration­emulation model of exemplarism will be much use in this connection, so we propose two ways of learning from negative exemplars to better conduct one’s epistemic affairs. In the admiration­emulation model, both the identification of what a virtue is and the cultivation of virtues identified thusly proceed through the admiration of virtuous exemplars. We show that this model has serious flaws and argue for two alternatives: the envy­agonism model and the ambivalence­avoidance model. (shrink)

The Intergovernmental Panel on Climate Change has developed a novel framework for assessing and communicating uncertainty in the findings published in their periodic assessment reports. But how should these uncertainty assessments inform decisions? We take a formal decision-making perspective to investigate how scientific input formulated in the IPCC’s novel framework might inform decisions in a principled way through a normative decision model.

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order (...) logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

I discuss a puzzle that arises as an apparent tension between plausible theories of good guessing and intuitive constraints on rational inquiry. Clearly, our best guess at a question should reflect the likelihoods we assign to its possible answers. Your best guess is the answer you judge most likely. Additionally, it seems like a requirement of rational inquiry that our guesses be coherent. Thus, our best guess to a constituent (wh-) questions should cohere with our best guess to a polar (...) (yes/no) question whenever answers to the former entail answers to the latter. I argue that these requirements are in conflict and that a familiar form of contextualism doesn’t resolve the issue. The puzzle stands as a challenge to existing accounts of rational inquiry and question directed attitudes like guessing. (shrink)

This paper discusses Frege's account of definition by induction in Grundgesetze and the two key theorems Frege proves using it.

I argue that a parental prerogative to sometimes prioritize the interests of one’s children over the interests of others is insufficient to make the parental refusal of routine childhood vaccines morally permissible. This is because the moral permissibility of vaccine refusal follows from such a parental prerogative only if the only (weighty) moral reason in favor of vaccination is that vaccination is a means for promoting the interests of others. However, there are two additional weighty moral reasons in favor of (...) routine vaccination: fairness and concern for the vulnerable. These moral reasons in favor of vaccination are not defeated by a parental prerogative to prioritize the interests of one’s children over the interests of others. (shrink)

Longtermism is the view that the most urgent global priorities, and those to which we should devote the largest portion of our resources, are those that focus on (i) ensuring a long future for humanity, and perhaps sentient or intelligent life more generally, and (ii) improving the quality of the lives that inhabit that long future. While it is by no means the only one, the argument most commonly given for this conclusion is that these interventions have greater expected goodness (...) per unit of resource devoted to them than each of the other available interventions, including those that focus on the health and well-being of the current population. In this paper, I argue that, even if we grant the consequentialist ethics upon which this argument depends, and even if we grant one of the axiologies that are typically paired with that ethics to give the argument, we are not morally required to choose an option that maximises expected utility; indeed, we might not even be permitted to do so. Instead, I will argue, if the argument's consequentialism is correct, we should choose using a decision theory that is sensitive to risk, and allows us to give greater weight to worse-case outcomes than expected utility theory does. And, I will show, such decision theories do not always recommend longtermist interventions. Indeed, sometimes, they recommend exactly the opposite: sometimes, they recommend hastening human extinction. Many, though not all, will take this as a reductio of the consequentialism or the axiology of the argument. I remain agnostic on the conclusion we should draw. (shrink)